StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·18h
🌱Minimal ML
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·12h
💬Smalltalk VMs
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🔗Category Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
I built a symbolic reasoning system without language or training data. I’m neurodivergent and not a developer — just hoping someone can tell me if this makes se...
🎯Finite Automata
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·18h
🪜Recursive Descent
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·18h
🌱Minimal ML
Flag this post
Ajla Tutorial
🔮Lisp Interpreters
Flag this post
Anthropic Research Shows How LLMs Perceive Text via @sejournal, @martinibuster
searchenginejournal.com·1d
🪜Recursive Descent
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.org·18h
🔄Loop Optimization
Flag this post
Loading...Loading more...